$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), $x$:Atom1. st{-}lookup(${\it tab}$;$x$) $\in$ ($\mathbb{N}$+Atom1)$\times$data($T$)+Unit